existential quantification

存在量化